wayland: Stop key repeat on focus out

This should address the occasional 'key repeat gone wild' issue
that some people have been seeing in gnome-terminal under Wayland.

http://bugzilla.gnome.org/show_bug.cgi?id=747684

diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index 5201d7d313099350d9b7368d5779c412d44fd2bd..4e8f98f2bf111ea90ce6e7de0ed12f8950f73df9 100644 (file)
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -1184,6 +1184,8 @@ keyboard_handle_leave (void               *data,
   if (!device->keyboard_focus)
     return;
 
+  stop_key_repeat (device);
+
   _gdk_wayland_display_update_serial (display, serial);
 
   event = gdk_event_new (GDK_FOCUS_CHANGE);